<html>
<body>
<p>Uses prefix type syntax for an infix binary type application.</p>
</body>
</html>